proof by cases